{
 read (x);
 y := x+3;
 write (y)
}